I like my types, without runtime overhead of type checks