---File name Weekday.gf

abstract Weekday = {

cat
Weekday ;
Day ;

fun
monday : Weekday ;
tuesday : Weekday ;
wednesday : Weekday ;
thursday : Weekday ;
friday : Weekday ;
saturday : Weekday ;
sunday : Weekday ;

fun
today : Day ;
tomorrow : Day;

}