Example of nested types
Type-level specification for 'not'
Notes on STG and ghcjs