purescript-0.9.1: examples/passing/1185.purs
module Main where
import Control.Monad.Eff.Console (log)
data Person = Person String Boolean
getName :: Person -> String
getName p = case p of
Person name true -> name
_ -> "Unknown"
name :: String
name = getName (Person "John Smith" true)
main = log "Done"