関連ワード:  haskell type function    haskell function type declaration    haskell function type signature    haskell function type constructor    haskell function type definition    haskell write function    haskell type role    haskell type level functions    haskell type class functional dependency    haskell get type of function