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 (->) :: * -> * -> *

https://hackage.haskell.org/package/bifunctors-5.5.5/docs/Data-Bifunctor-Tannen.html

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

profunctors

Tannen f (->)

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!what is the kind of the typeclass?

`(* -> * -> *)`

@Julian KG I think you want

`Tannen f (->) :: * -> * -> *`

https://hackage.haskell.org/package/bifunctors-5.5.5/docs/Data-Bifunctor-Tannen.html

You'll probably also want to import

`profunctors`

, that's where all the instances for`Tannen f (->)`

are going to be