How to do things with types