module Concepts =

    type ParameterType =
        | Value // of ?
        | Concept of Concept
        | Enum // of ?
        | List // of ?

    and Parameter(name: string, parameterType: ParameterType) =
        member this.Name = name
        member this.Type = parameterType


    and Pattern(name: string, parameters: Parameter list) =
        member this.Name = name
        member this.Parameters = parameters


    and Concept(name: string, patterns: Pattern list) =
        member this.Name = name
        member this.Patterns = patterns