1hasAlgTy :: Maybe Int -> Int 2hasAlgTy = _ 3 4hasFunTy :: (Int -> Int) -> Int 5hasFunTy = _ 6 7isSaturated :: Bool -> Int 8isSaturated b = _ 9 10