func :: a -> b -- comment