Hi, Original I thought a Signature like: f :: h a -> h a means that h is a higher kinded type just like in Type Classes ( for instance f in Functor f). But I heard such a meaning is not allowed in normal Haskell functions. What instead is the meaning of h a? Cheers, Marcus.