module Main where import Prelude type A a = Array a data Foo a = Foo (A a) | Bar foo (Foo []) = Bar main = Control.Monad.Eff.Console.log "Done"