module Issue157 where

X : Set
X = _

error : Set
error = Set