Hi! Alternative in Haskell traditionally refers to this typeclass - https://hackage.haskell.org/package/base-4.12.0.0/docs/Control-Applicative.html#t:Alternative . ======= Georgi -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200318/2b799c8d/attachment.html>