Input:
f :: forall x y.
D x y x yOutput:
f ::
forall x y.
D x y x
y
While I'm at it, this should also probably be consistent with data declarations?
Input:
data D = forall x y.
D x y x yOutput:
data D
= forall x y.
D
x
y
x
y
My preferred option in both cases would be:
f ::
forall x y.
D x y x y
data D
= forall x y.
D x y x y
Input:
Output:
While I'm at it, this should also probably be consistent with data declarations?
Input:
Output:
My preferred option in both cases would be: