Fun With Types Fun with types is a small set of exercises around type level programming. The exercises and their tests can be found in the funl package. Answers can be found in the fun package. Enjoy !