Types are homomorphic also if Elem x === List [Elem x] (hide the first constructor).