Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
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!
\a b -> f (a -> b)
what is the kind of the typeclass?
(* -> * -> *)
@Julian KG I think you want Tannen f (->) :: * -> * -> *
Tannen f (->) :: * -> * -> *
You'll probably also want to import profunctors, that's where all the instances for Tannen f (->) are going to be
Tannen f (->)