fix typo

Author: performantdata

_sips/sips/2014-06-27-42.type.md

@@ -217,7 +217,7 @@ the experience for many users across a wide variety of domains.
 [singleton-ops](https://github.com/fthomas/singleton-ops) are two libraries which build on
 shapeless's `Witness` to support refinement types for Scala. A refinement is a type-level predictate
 which constrains a set of values relative to some base type, for example, the type of integers
-greater thar 5.
+greater than 5.
 
 refined allows such types to be expressed in Scala using shapeless's `Witness`,
 ```