{-# COMPLETE Foo, Bar :: Bar #-}