An element of type T can be composed from its constituent parts by a constructor, written mk_T.
Елемент типу T може бути сконструйованим з його складових частин конструктором, який записується як mk_T.