Helper class that allows the type T
to be inferred from calls like
refine[P](t)
.
Helper class that allows the type T
to be inferred from calls like
refineLit[P](t)
.
Helper class that allows the type T
to be inferred from calls like
refineM[P](t)
.