1 2 3 4 5
{-# LANGUAGE LinearTypes #-} module Foo where newtype HappyIdentity a = HappyIdentity a happyIdentity = HappyIdentity