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