Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
{-# LANGUAGE FlexibleInstances #-} class F x instance F (a -> b) instance F a
I would expect the two instances for F to overlap. Any function type matches both instances, no?
F
Can you actually use them?
ah, good point, I'm dumb
I forgot/didn't know that overlaps are only emitted at call-site
I would expect the two instances for
F
to overlap. Any function type matches both instances, no?Can you actually use them?
ah, good point, I'm dumb
I forgot/didn't know that overlaps are only emitted at call-site