signature Sig where

foo :: Bool