module B where

import A

oops :: F a b -> a -> b