-- @shouldWarnWith WarningParsingModule
module Main where

class R (a :: # Type)