Open goldfirere opened 9 years ago
When I say
type family SCtor (x :: k) :: Proxy x
and then ask for :i SCtor, I get
:i SCtor
type family SCtor (x :: k) Kind: forall k1 (x1 :: k1). Proxy x1
It would be nice if the variable names matched up. More worryingly, that kind should make clear that x1 is a visible argument.
x1
When I say
and then ask for
:i SCtor
, I getIt would be nice if the variable names matched up. More worryingly, that kind should make clear that
x1
is a visible argument.