import "lib/maybe.kmp"

id0 : Int -- Int
      =: [ Just dip(0) fromMaybe ]

id1 : Int -- Int
     =: [ Just {case | Nothing -> 0 | Just ->} ]
     ; works with new fallthrough

id2 : Int -- Int
    =: [ Just 0 swap {case | Just -> dip(drop) | Nothing ->} ]

id3 : Int -- Int
    =: [ Just 0 swap drop swap ]

%foreign cabi id0
%foreign cabi id1
%foreign cabi id2
%foreign cabi id3