Kinda Polymorphism

kinda-polymorphism.elm

module Main exposing (main)

import Html exposing (Html)

type alias Positioned a =
  { a | x : Float, y : Float }

type alias Named a =
  { a | name : String }

type alias Moving a =
  { a | velocity : Float, angle : Float }
  
type alias Super = Named (Moving (Positioned {}))
dude: Super
dude =
  { x = 0
  , y = 0
  , name = "Clark Kent"
  , velocity = 42
  , angle = degrees 30
  }
  
getName : Named a -> String
getName {name} =
  name

main : Html msg
main =
    Html.text (getName dude)