=> package:constraints

Reify the relationship between an instance head and its body as a class Given a definition such as
instance Foo a => Foo [a]
you can capture the relationship between the instance head and its body with
instance Foo a :=> Foo [a] where ins = Sub Dict