renderPattern (PatCon name args) =
  text . T.unpack $ getCtor name <> T.unwords (fmap getIdent args)
renderPattern (PatCon name args) =
  text . T.unpack $ getCtor name <> T.unwords (fmap getIdent args)
renderPattern (PatCon name args) =
  text . T.unpack $ getCtor name <> T.unwords (fmap getIdent args)