kempe-0.2.0.5: test/data/type.kmp

import"lib/maybe.kmp"

id1 : Int -- Int
     =: [ Just {case | Nothing -> 0 | _ ->} ]