module Unsolved-meta-in-module-telescope (A : _) where