Data.Proxy.Kindness

Manipulating Proxy types

class Applied t tab

class Unapplied ptab t

Composing and decomposing Proxy types

unap

ap

Using proxy types with real values

asApplied

unappliedOf

Predicate classes

class IsOfBaseType t tab b

class AreEqUnapplied ta tb b