@sig(H/ [t(Maybe, "a")] >> ["a"])
def catMaybes(a):
    return L[(fromJust(item) for item in a if isJust(item))]
catMaybes :: [Maybe a] -> [a]
dataset/ETHPy150Open billpmurphy/hask/hask/Data/Maybe.py/catMaybes