let Prelude = ../Prelude.dhall

let Version = ./Type.dhall

let Version/show
    : Version → Text
    = λ(version : Version) →
        Prelude.Text.concatMapSep "." Natural Prelude.Natural.show version

in  Version/show