module B where

b :: ()