parse :: (Generic a, HasDatatypeInfo a, All2 HasArguments (Code a)) =>
  String -> Result a
parse = modsParse []
parse :: (Generic a, HasDatatypeInfo a, All2 HasArguments (Code a)) =>
  String -> Result a
parse = modsParse []
parse = modsParse []