How to relate to type from outer context
This is possible with the ScopedTypeVariables extension. You need to use explicit forall’s to bring the type variables into scope. blah :: forall a b. a -> b -> a blah x y = ble x where ble :: b -> b ble x = x Trying to load this definition with ScopedTypeVariables enabled gives: … Read more