Feratel: 3. Type-level Materialization

3. Type-level Materialization for Feratel