Pretty printing for types

[nau]

Now we have foldl : ∀(a,b) => ((List a) -> (b -> ((a -> (b -> b)) -> b))) I'd like to have foldl : ∀(a,b) => List a -> b -> (a -> b -> b) -> b