Maybe type is added
Start creating simple analogue to QuickCheck. Templates behave like type
classes, it is amazing!