Thanks @Matthew Dotty for the comment #22