purescript-0.11.0: examples/passing/NakedConstraint.purs
module Main where import Control.Monad.Eff.Console data List a = Nil | Cons a (List a) head :: Partial => List Int -> Int head (Cons x _) = x main = log "Done"
module Main where import Control.Monad.Eff.Console data List a = Nil | Cons a (List a) head :: Partial => List Int -> Int head (Cons x _) = x main = log "Done"