purescript-0.7.2.0: examples/passing/Nested.purs
module Main where
import Prelude
data Extend r a = Extend { prev :: r a, next :: a }
data Matrix r a = Square (r (r a)) | Bigger (Matrix (Extend r) a)
main = Control.Monad.Eff.Console.log "Done"
module Main where
import Prelude
data Extend r a = Extend { prev :: r a, next :: a }
data Matrix r a = Square (r (r a)) | Bigger (Matrix (Extend r) a)
main = Control.Monad.Eff.Console.log "Done"