This looks like type erasure, but I am not sure ho...

# getting-started

[voddan]

This looks like type erasure, but I am not sure how exactly:
(or is it a limitation of the type system?)
http://stackoverflow.com/questions/40351071/why-do-i-get-a-type-mismatch-when-attempting-to-return-a-value-for-a-checked-gen