Stackify; builds on LTS-8.9 (GHC 8.0.2)

.gitignore

@@ -0,0 +1 @@
+.stack-work

src/TIMain.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE NoMonomorphismRestriction #-}
 -----------------------------------------------------------------------------
 -- TIMain:	Type Inference Algorithm
 --

src/TIMonad.hs

@@ -13,6 +13,7 @@
 -----------------------------------------------------------------------------
 
 module TIMonad where
+import Control.Monad
 import Id
 import Kind
 import Type
@@ -23,6 +24,8 @@ import Scheme
 
 newtype TI a = TI (Subst -> Int -> (Subst, Int, a))
 
+instance Functor TI where fmap = liftM
+instance Applicative TI where (<*>) = ap; pure = return
 instance Monad TI where
   return x   = TI (\s n -> (s,n,x))
   TI f >>= g = TI (\s n -> case f s n of

stack.yaml

@@ -0,0 +1 @@
+resolver: lts-8.9