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

      Cast ${1:FromType} ${2:ToType} where
        case from = ?holeTo
    """

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