Initial type checking seems to workish