open-witness-0.4: open witnesses

Safe HaskellNone
LanguageHaskell2010

Data.OpenWitness.Instance

Documentation

data Instance #

Constructors

t => MkInstance (TypeRep t)