pure
Coeval
TypeClassInstances
Task