Hardcoded one of shapeless examples.