module Other where

type Id :: forall k. k -> k
type Id a = a