[Haskell-cafe] Identity operator for types

[ALeX Kazik]

Hi Juan,

> Now, the problem is what can I do to have a type that contains a
> single Int? Is there a sort of id for types so that I can write

Identity is the solution

f :: Example Identity Int -> Int
f (Example i) = 2 * runIdentity i

Alex.