     'prefix': 'Semigroup'
     'body': """
       Semigroup ${1:Type} where
-        (<+>) a b = ?holeSemigroup
+        a <+> b = ?holeSemigroup
       """
   'Monoid implementation':
     'prefix': 'Monoid'

      Applicative ${1:Type} where
        pure a = ?holePureApplicative

        (<*>) f fa = ?holeApplyApplicative
      """
  'Monad implementation':
    'prefix': 'Monad'
    'body': """
      Monad ${1:Type} where
        (>>=) fa f = ?holeMonadBind
      """
  'Traversable implementation':
    'prefix': 'Traversable'

    'prefix': 'Eq'
    'body': """
      Eq ${1:Type} where
        a == b = ?holeEq
      """
  'Ord implementation':
    'prefix': 'Ord'
