diff --git a/src/Rlp/Parse.y b/src/Rlp/Parse.y
index 538b9ab..6eb6a3e 100644
--- a/src/Rlp/Parse.y
+++ b/src/Rlp/Parse.y
@@ -107,17 +107,17 @@ DataCons    :: { [ConAlt RlpcPs] }
 DataCon     :: { ConAlt RlpcPs }
             : Con Type1s                { undefined }
 
-Type1s      :: { [Type] }
+Type1s      :: { [RlpType RlpcPs] }
             : {- epsilon -}             { [] }
             | Type1s Type1              { $1 `snoc` $2 }
 
-Type1       :: { Type }
-            : '(' Type ')'              { undefined }
+Type1       :: { RlpType' RlpcPs }
+            : '(' Type ')'              { $2 }
             | conname                   { undefined }
             | varname                   { undefined }
 
-Type        :: { Type }
-            : Type '->' Type            { $1 :-> $3 }
+Type        :: { RlpType' RlpcPs }
+            : Type '->' Type            { undefined }
             | Type1                     { $1 }
 
 FunDecl     :: { Decl' RlpcPs }
@@ -147,7 +147,7 @@ Expr1       :: { RlpExpr' RlpcPs }
 InfixExpr   :: { RlpExpr' RlpcPs }
             : Expr1 varsym Expr         { undefined }
 
-InfixOp     :: { PsName }
+InfixOp     :: { Located PsName }
             : consym                    { undefined }
             | varsym                    { undefined }
 
diff --git a/src/Rlp/Parse/Types.hs b/src/Rlp/Parse/Types.hs
index c7cefb5..37c3aee 100644
--- a/src/Rlp/Parse/Types.hs
+++ b/src/Rlp/Parse/Types.hs
@@ -17,6 +17,8 @@ module Rlp.Parse.Types
     -- ** Lenses
     , aiPrevChar, aiSource, aiBytes, aiPos, posLine, posColumn
 
+    , (<<~), (<~>)
+
     -- * Error handling
     , MsgEnvelope(..), RlpcError(..), RlpParseError(..)
     , addFatal, addWound, addFatalHere, addWoundHere
diff --git a/src/Rlp/Syntax.hs b/src/Rlp/Syntax.hs
index 3e8b9e5..66d2d3b 100644
--- a/src/Rlp/Syntax.hs
+++ b/src/Rlp/Syntax.hs
@@ -12,8 +12,7 @@ module Rlp.Syntax
     , Pat(..), Pat'
     , Assoc(..)
     , Lit(..), Lit'
-    , Type(..)
-    , pattern (:->)
+    , RlpType(..), RlpType'
     , ConAlt(..)
 
     -- * Pattern synonyms for unused extensions
@@ -21,6 +20,8 @@ module Rlp.Syntax
     , pattern InfixD', pattern FunD', pattern DataD'
     -- ** RlpExpr
     , pattern ParE', pattern VarE', pattern LitE'
+    -- ** RlpType
+    , pattern FunT', pattern AppT'
 
     -- * Trees That Grow extensions
     , UnXRec(..), MapXRec(..), XRec, IdP
@@ -52,14 +53,37 @@ data RlpModule p = RlpModule
 type PhaseShow p =
     ( Show (XRec p Pat), Show (XRec p RlpExpr)
     , Show (XRec p Lit), Show (IdP p)
+    , Show (XRec p RlpType)
     )
 
 newtype RlpProgram p = RlpProgram [Decl' p]
 
 deriving instance (PhaseShow p, Show (XRec p Decl)) => Show (RlpProgram p)
 
+data RlpType p = FunT (XFunT p)
+               | AppT (XAppT p) (RlpType' p) (RlpType' p)
+               | VarT (XVarT p) (IdP p)
+               | ConT (XConT p) (IdP p)
+
+type RlpType' p = XRec p RlpType
+
+deriving instance (PhaseShow p, Show (XFunT p), Show (XAppT p), Show (XVarT p)
+                  ,Show (XConT p))
+                  => Show (RlpType p)
+
+type family XFunT p
+type family XAppT p
+type family XVarT p
+type family XConT p
+
+pattern FunT' :: (XFunT p ~ ()) => RlpType p
+pattern FunT' = FunT ()
+
+pattern AppT' :: (XAppT p ~ ()) => RlpType' p -> RlpType' p -> RlpType p
+pattern AppT' s t = AppT () s t
+
 data Decl p = FunD   (XFunD p)   (IdP p) [Pat' p] (RlpExpr' p) (Maybe (Where p))
-            | TySigD (XTySigD p) [IdP p] Type
+            | TySigD (XTySigD p) [IdP p] (RlpType' p)
             | DataD  (XDataD p)  (IdP p) [IdP p] [ConAlt p]
             | InfixD (XInfixD p) Assoc Int (IdP p)
             | XDecl  !(XXDecl p)
@@ -94,9 +118,9 @@ data Assoc = InfixL
            | Infix
            deriving (Show)
 
-data ConAlt p = ConAlt (IdP p) [Type]
+data ConAlt p = ConAlt (IdP p) [RlpType' p]
 
-deriving instance (Show (IdP p)) => Show (ConAlt p)
+deriving instance (Show (IdP p), Show (XRec p RlpType)) => Show (ConAlt p)
 
 data RlpExpr p = LetE  (XLetE p)   [Binding p] (RlpExpr' p)
                | VarE  (XVarE p)   (IdP p)