Static type checking between resolvers and typedef - Theo's Typesafe Cult