{-# LANGUAGE InstanceSigs #-}

instance Applicative [] where
  pure ::
       a
    -> [a]
  pure a = [a]
  (<*>)
    :: [ a ] -> [ a ] -> [ a ]
  (<*>) _ _ = []