trans _ e = throwError $ "Trans: Impossible happened, trying to translate: " ++ show e
trans _ e = throwError $ "Trans: Impossible happened, trying to translate: " ++ show e
trans _ e = throwError $ "Trans: Impossible happened, trying to translate: " ++ show e