signature Sig where

foo :: String