Euler is Typeable or Typeable1 based on GHC version