3 ms·
Instead of providing an instance declaration you provide a value of MonadI f -> FooI f.
by tome 13y ago
Instead of providing an instance declaration you provide a value of MonadI f -> FooI f.
- tel 13y agoExactly, and then that function is "proof" of the relationship.