1 2 3 4 5 6
unit sig where signature A005 where data Maybe a = Nothing | Just a unit inst where dependency sig[A005=base:Prelude]