More fun for scala type system