minimal :: a ⊸ a minimal x = x
assigns AddRarrowAnnU instead of AddLollyAnnU
AddRarrowAnnU
AddLollyAnnU