KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
Does Haskell, or a specific compiler, have anything like type-level lambdas (if that's even a term)? To elaborate, say I have a parametrized type Foo a b and want Foo _ b to be an instance of, say, Functor. Is there any mechanism that would let me do something akin to instance Functor (\a -> Foo a b) where ... ?
Tags (comma-separated)
Save Edits
Cancel