Skip to content

Pretty-printing of FUN 'Many

ghci> :set -fprint-explicit-kinds
ghci> type T = FUN 'Many
ghci> :i T
type T :: * -> * -> *
type T = (->) 'LiftedRep 'LiftedRep :: * -> * -> *

The 'LiftedReps should be @{'LiftedRep}s. Patch at !4938 (closed).

Edited by Krzysztof Gogolewski
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information