pure
Coeval
TypeClassInstances
Task
put
MVar