option types

[semihokur]

The following does not compile: https://gist.github.com/Mr-Byte/40e8abb593451ccce2ec