Writing f (a -> b) instances - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Julian KG

trying to write a typeclass instance for a type that could be expressed as \a b -> f (a -> b) if we had type level lambdas. I think it can be done with the type compose library, but I'm not sure exactly how. If anybody knows that be a lot of help!

Asad Saeeduddin

what is the kind of the typeclass?

Asad Saeeduddin

@Julian KG I think you want Tannen f (->) :: * -> * -> *

Asad Saeeduddin

You'll probably also want to import profunctors, that's where all the instances for Tannen f (->) are going to be