Add some flags to ghc
Finally figure out how to use the 's' field of 'Wire s e m a b' properly