Generates a lambda expression which encode the given data type or probably data family instance constructor as a Value.
Generates a lambda expression which encodes the given data type or data family instance constructor as a Value.