ddc-core-0.4.1.1: Disciplined Disciple Compiler core language and type checker.
mapT :: MapT c => (Type n -> Type n) -> c n -> c nSource
Apply a function to all possibly open types in a thing.
Not the types of primitives because they're guaranteed to
Produced by Haddock version 2.13.2