module test

import StdEnv
import Data.Functor
import Data.Array
import Control.Applicative
import Control.Monad

Start :: {Int}
Start = (+) <$> {1,2} <*> {1,2,3,4} >>= \e->pure (e+1)