A trial with a more type level based approach.