{-# OPTIONS --type-in-type #-} module TabsInPragmas where