module %41 where

A : Set₁
A = Set