{-# LANGUAGE RebindableSyntax, NoMonomorphismRestriction, FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-}
module Grow where

import Algebra
import IO.Filesystem
import qualified Prelude as P
import Algebra.Parser
import Grow.Syntax

pureVal :: SyntaxT Id -> SyntaxT Id
pureVal = id

main :: IO ()
main = print =<< (P.readFile "Seed" <&> map2 pureVal growExpr^..parser)