Helper class that allows the type T
to be inferred from calls like
refineV[P](t)
.
Helper class that allows the type T
to be inferred from calls like
refineMV[P](t)
.
Type class for wrapping a value of type T
into F
together with a
phantom type P
.