@sig(H/ t(Maybe, "a") >> ["a"])
def maybeToList(a):
    return ~(caseof(a)
                | m(Nothing)   >> L[[]]
                | m(Just(m.x)) >> L[[p.x]])
maybeToList :: Maybe a -> [a]
dataset/ETHPy150Open billpmurphy/hask/hask/Data/Maybe.py/maybeToList