Import Types.Generic, some work on options